信息系统体系结构设计中系统内聚度分析方法

系统的组成及其结构是体系结构中的一个核心元素,系统内聚度是评价信息系统体系结构的一个重要指标。以体系结构框架为基础,给出系统接口和系统功能的规范化描述。从功能和数据关系的角度,分别定义了系统功能内聚度和数据内聚度的计算方法,提出一种体系结构中系统内聚度的分析方法,并通过一个实例说明了方法的应用。该方法有助于规划系统和分配功能,提高体系结构设计质量。     

机载武器控制系统算法研究

机载武器控制系统的算法是其软件部分的核心,算法的最终目的是保证在一定的条件下实现最有利的武器运用方案。将机载武器控制系统的算法分为四个不同的子算法,对每一子算法的建立方法进行了描述,最后得到形成执行命令的算法,即武器运用方案执行命令分配及形成的算法。     

武器系统研制单位管理水平的贝叶斯评估分析

将Bayes理论应用于对武器系统研制单位管理水平的评估.克服了验前评估方法主观性大的缺陷,充分利用收集到的补充信息,对评估结果作了后验预分析,得到了更加可信的评估结论,从而改进了决策过程.     

基于线性模型跟随的重构飞行控制律设计

线性模型跟随控制是一种传统的控制方法，通过对增益的调整，使实际受控系统的输出跟随参考模型的输出，以达到理想的静态、动态特性。将线性模型跟随控制引入自修复飞行控制系统的重构控制中，针对发生舵面故障的飞行控制系统，设计模型跟随控制律，给出仿真实例。结果表明，该方法具有可行性和有效性。     

构建我国社会应急救援力量体系的思考

通过对国内、国际应急救援形势、体制、力量体系的研究分析，结合我国各类应急救援队伍现状，提出构建我国社会应急救援力量体系的初步设想，旨在从战略上谋划，依靠现有救援力量，集中财力建设一支常态应急救援主体力量和若干专业力量，形成政府领导、统一指挥、反应快速、处置高效的应急救援格局，以满足应急管理工作的需要。     

Hilbert空间中次连续拟非扩张映像不动点的迭代方法

首次引用一种迭代算法，用来构造Hilbert空间中次连续拟非扩张映像的不动点；使用新的算法证明了一个强收敛定理，其优点是不要求映像具有次闭性质。     

部队思想政治教育低绩效现象的新制度经济学分析

信息传递失真、制度创新的路径依赖、教育客体趋利本能被忽视,导致部队思想政治教育的低绩效现象。改善思想政治教育条件、增强教育主体的素质、关注教育客体的个体需要、增强教育主客体之间的互动是解决思想政治教育低绩效现象的有效途径。     

消防部队抢险救援战斗力评估

以消防部队参与抢险救援战斗实例引出消防抢险救援战斗力的评估问题，并对评估的意义从组织指挥、消防员的安全、特勤队伍的发展角度进行了论述，重点剖析了影响战斗力评估的人员、装备、自然、组织等因素，对评估的组织从专家组成和制度建设两个方面提出了具体的建议。     

The building evacuation problem with shared information

In this article, the Building Evacuation Problem with Shared Information (BEPSI) is formulated as a mixed integer linear program, where the objective is to determine the set of routes along which to send evacuees (supply) from multiple locations throughout a building (sources) to the exits (sinks) such that the total time until all evacuees reach the exits is minimized. The formulation explicitly incorporates the constraints of shared information in providing online instructions to evacuees, ensuring that evacuees departing from an intermediate or source location at a mutual point in time receive common instructions. Arc travel time and capacity, as well as supply at the nodes, are permitted to vary with time and capacity is assumed to be recaptured over time. The BEPSI is shown to be NP‐hard. An exact technique based on Benders decomposition is proposed for its solution. Computational results from numerical experiments on a real‐world network representing a four‐story building are given. Results of experiments employing Benders cuts generated in solving a given problem instance as initial cuts in addressing an updated problem instance are also provided. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

一种改进的事件驱动系统框架

在给出事件驱动系统安全漏洞的基础上,指出了产生漏洞的根本原因是:系统忽视了输入系统的事件序列之间存在的相关性;系统无条件信任任何事件源产生的事件.针对这两个原因,相应提出了事件序列形式安全分析模型及基于事件源的可信度评估模型,依据这两个模型,构建了一种改进的事件驱动系统框架.